361. Parallel execution of logic programs : ICLP'91 Pre- Conference workshop, Paris, June 24, 1991 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
569

362. Parallel logic programming

موضوع : Parallel programming )Computer science(,Logic programming

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

363. Parallel logic programming in PARLOG : the language and its implementation

پدیدآورنده :

کتابخانه: Library of Niroo Research Institue (Tehran)

موضوع : ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(

364. Parallel logic programming in parlog : the language & its implementation

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(

رده :
QA
76
.
73
.
P194
G74

365. Parallel logic programming techniques

پدیدآورنده :

موضوع : ، Parallel processing )Electronic computers(,، Logic programming

۴ نسخه از این کتاب در ۴ کتابخانه موجود است.

366. Principles and Practice of Constraint Programming

پدیدآورنده :

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری

رده :
QA
76
.
612
.
C7P7
2015
E-Book
,

367. Principles of logic and logic programming /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.

رده :
QA76
.
63
.
M473
1996eb

368. Probabilistic inductive logic programming

پدیدآورنده :

کتابخانه: Central Library and Information Center of Shahed University (Tehran)

موضوع : Logic programming,Machine learning,Stochastic processes

رده :
QA
،
76
.
63
،.
P69
،
2008

369. Proceedings

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs

رده :
QA
75
.
5
.
S9574a

370. Proceedings ... Symposium on Computer Arithmetic

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Congresses ، Computer arithmetic,Congresses ، Computer programming,Congresses ، Floating-point arithmetic,Congresses ، Computer arithmetic and logic units

رده :
QA
76
.
9
.
C62
.
S95a

371. Process Algebra for Parallel and Distributed Processing

کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)

موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science

372. Program development in computational logic : a decade of research advances in logic-based program development

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic

رده :
QA
76
.
L28
Vol
.
3049

373. Programming in PARLOG

پدیدآورنده :

کتابخانه: Library of Niroo Research Institue (Tehran)

موضوع : ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(

374. Programming in parlog

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : PARLOG )COMPUTER PROGRAM LANGUAGE( , LOGIC PROGRAMMING , PARALLEL PROGRAMMING )COMPUTER

رده :
QA
76
.
73
.
P194
C66

375. Programming language implementation and logic programming :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Logic programming, Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
7
.
I59
1990

376. Programming language implementation and logic programming : International Workshop PLILP'90, Linkن‌ping, Sweden, August 20-22, 1990 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
456

377. Programming language implementation and logic programming : proceedings

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses

رده :
QA
76
.
7
.
I59
1990

378. Programming language implementation and logic programming : 3rd International Symposium, PLILP'91, Passau,Germany, August 26-28, 1991 :proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
528

379. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses

رده :
QA
76
.
7
.
I5773
1991

380. Programming language implementation and logic programming : 4th International Symposium, Leuven, Belgium, 1992 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
631